[<<Previous Entry]
[^^Up^^]
[Next Entry>>]
[Menu]
[About The Guide]
DREAL
8-byte floating point number
Range: +/-1.7E-308 to +/-1.7E+308 (15-digit precision)
This page created by ng2html v1.05, the Norton guide to HTML conversion utility.
Written by Dave Pearson